Modern cyber-physical systems (CPS) such as Cooperative Intelligent Transport Systems (C-ITS) are increasingly defined by the software which operates these systems. In practice, microservice architectures can be employed, which may consist of containerized microservices running in a cluster comprised of robots and supporting infrastructure. These microservices need to be orchestrated dynamically according to ever changing requirements posed at the system. Additionally, these systems are embedded in DevOps processes aiming at continually updating and upgrading both the capabilities of CPS components and of the system as a whole. In this paper, we present RobotKube, an approach to orchestrating containerized microservices for large-scale cooperative multi-robot CPS based on Kubernetes. We describe how to automate the orchestration of software across a CPS, and include the possibility to monitor and selectively store relevant accruing data. In this context, we present two main components of such a system: an event detector capable of, e.g., requesting the deployment of additional applications, and an application manager capable of automatically configuring the required changes in the Kubernetes cluster. By combining the widely adopted Kubernetes platform with the Robot Operating System (ROS), we enable the use of standard tools and practices for developing, deploying, scaling, and monitoring microservices in C-ITS. We demonstrate and evaluate RobotKube in an exemplary and reproducible use case that we make publicly available at https://github.com/ika-rwth-aachen/robotkube .

In order to reach higher degrees of flexibility, adaptability and autonomy in manufacturing systems, it is essential to develop new rescheduling methodologies which resort to cognitive capabilities, similar to those found in human beings. Artificial cognition is important for designing planning and control systems that generate and represent knowledge about heuristics for repair-based scheduling. Rescheduling knowledge in the form of decision rules is used to deal with unforeseen events and disturbances reactively in real time, and take advantage of the ability to act interactively with the user to counteract the effects of disruptions. In this work, to achieve the aforementioned goals, a novel approach to generate rescheduling knowledge in the form of dynamic first-order logical rules is proposed. The proposed approach is based on the integration of reinforcement learning with artificial cognitive capabilities involving perception and reasoning/learning skills embedded in the Soar cognitive architecture. An industrial example is discussed showing that the approach enables the scheduling system to assess its operational range in an autonomic way, and to acquire experience through intensive simulation while performing repair tasks.

Human-computer interaction (HCI) is the interdisciplinary study of interaction between people (users) and computers. Its main goal is making computers more user-friendly and easier to use. HCI is concerned with methodologies and processes for designing interfaces, with methods for implementing interfaces, with techniques for evaluating and comparing interfaces, with developing new interfaces and interaction techniques and with developing descriptive and predictive models and theories of interaction [9]. More often than not, user interfaces for theorem provers are developed as a mere add-on to the main proving engine. The result is an interaction design suitable for proof experts only.

An initial version of the program has been implemented in LISP on a PDP-10 and is being used in conjunction with robot research at SRI. STRIPS is a member of the class of problem solvers that search a space of "world models" to ind one in w hich a given goal is achieved. For any world model, we assume that there exists a set of appllcable ope rators, each of w hi eh transforms the world model to some other world model. The task of the problem solver is to find some composl11on of ope rat ors that trans forms a given initial worId mode] into one t hat satisfies some stated goa1 condltion. This f rarnewo rk for probl em so 1 v i ng has l een cen t ra 1 to much of t he research I n artificial Intel licence (1). Ou r p nmary interest he re is in the class of p robJ ems faced by a robot in rea rranging ob]ec t s and in navigatlng, l.e.